Move tool options palette

Both the move object tool and the move selection mask have the same palette of options.

• Pixel doubling is a check box you can select to improve the speed of the screen update while dragging selections.